Publications de
Philippe Balbiani, Tinko Tinchev
Boolean logics with relations
Dans : Journal of Logic and Algebraic Programming, Elsevier, Vol. 79 N. 8, p. 707-721, 2010.
Philippe Balbiani, Tinko Tinchev
Foreword
Dans : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Numéro spécial Special Issue, Vol. 18, p. 136-136, 2008.
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Modal logics for region-based theories of space
Dans : Fundamenta Informaticae, IOS Press, Vol. 81, p. 29-82, 2007.
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Dynamic logics of the region-based theory of discrete spaces
Dans : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 17, p. 39-61, 2007.
Philippe Balbiani, Tinko Tinchev
Line-based affine reasoning in Euclidean plane
Dans : Journal of Applied Logic, Elsevier, Vol. 5, p. 421-434, 2007.
Philippe Balbiani, Tinko Tinchev
Definability over the class of all partitions
Dans : Journal of Logic and Computation, Oxford University Press, Vol. 16, p. 541-557, 2006.
Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
Modal logics for incidence geometries
Dans : Journal of Logic and Computation, Oxford University Press, Vol. 7, p. 59-78, 1997.
Philippe Balbiani, Tinko Tinchev
Complete axiomatizations of modal logics for region-based theories of space (regular paper)
Dans : Logic Colloquium (LC 2009), Sofia (Bulgarie), 01/01/09-31/12/09 (conférencier invité), 2009.
Philippe Balbiani, Tinko Tinchev
Boolean logics with relations
Dans : International Seminar on Relational Methods in Computer Science (RelMiCS 2008), Frauenwörth (Allemagne), 01/01/08-31/12/08, Springer-Verlag, p. 4-21, 2008.
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Modal logics for region-based theories of space
Dans : Algebraic and Topological Methods in Non-Classical Logics, Oxford, UK, 01/01/07-31/12/07, Guram Bezhanishvili (Eds.), Oxford University, Department of Mathematics, p. 4-5, 2007.
Philippe Balbiani, Tinko Tinchev
Euclidean geometry with lines alone
Dans : Logic Colloquium 2005, Athens (Greece), 01/07/05-31/08/05, S. Wainer (Eds.), University of Athens, p. 47-47, 2005.
Philippe Balbiani, Tinko Tinchev
Decidability and complexity of definability within the class of all partitions
Dans : Proceedings of the 5th Panhellenic Logic Symposium, Athens (Greece), 01/07/05-31/08/05, C. Dimitracopoulos (Eds.), University of Athens, p. 26-33, 2005.
Philippe Balbiani, Tinko Tinchev
Line-based affine reasoning in Euclidean plane
Dans : Logics in Artificial Intelligence (Jelia 2004), Portugal, 01/09/04-30/09/04, J. Alfares, J. Leite (Eds.), Springer-Verlag, p. 474-486, septembre 2004.
Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
Geometrical structures and modal logic (regular paper)
Dans : Int. Conf. on Formal and Applied Practical Reasoning (FAPR 1996), Bonn, 03/06/96-07/06/96, Springer-Verlag, p. 43-57, juin 1996.
Résumé Accès : https://link.springer.com/chapter/10.1007/3-540-61313-7_62
BibTeX